|
|
Registro Completo |
Biblioteca(s): |
Embrapa Agricultura Digital. |
Data corrente: |
19/02/2002 |
Data da última atualização: |
01/09/2010 |
Autoria: |
MALDONADO, J. C.; CHAIM, M. L.; JINO, M. |
Afiliação: |
USP; EMBRAPA-CNPTIA, UNICAMP. |
Título: |
Bridging the gap in the presence of infeasible paths: potential uses testing criteria. |
Ano de publicação: |
1992 |
Fonte/Imprenta: |
In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?). |
Páginas: |
p. 323-340. |
Idioma: |
Inglês |
Conteúdo: |
Data flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t. |
Palavras-Chave: |
Complexity analysis; Data-flow based criteria; Hierarchy of testing criteria; Infeasible paths; Structural testing criteria. |
Categoria do assunto: |
-- |
Marc: |
LEADER 01705naa a2200217 a 4500 001 1004458 005 2010-09-01 008 1992 bl --- 0-- u #d 100 1 $aMALDONADO, J. C. 245 $aBridging the gap in the presence of infeasible paths$bpotential uses testing criteria. 260 $c1992 300 $ap. 323-340. 520 $aData flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t. 653 $aComplexity analysis 653 $aData-flow based criteria 653 $aHierarchy of testing criteria 653 $aInfeasible paths 653 $aStructural testing criteria 700 1 $aCHAIM, M. L. 700 1 $aJINO, M. 773 $tIn: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?).
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Agricultura Digital (CNPTIA) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
URL |
Voltar
|
|
Registro Completo
Biblioteca(s): |
Embrapa Caprinos e Ovinos. |
Data corrente: |
23/02/2015 |
Data da última atualização: |
03/01/2024 |
Tipo da produção científica: |
Resumo em Anais de Congresso |
Autoria: |
FEIROSA, T. S.; ANDRADE, I. R. A. de; POMPEU, R. C. F. F.; SALLES, H. O.; EGITO, A. S. do; BOMFIM, M. A. D. |
Afiliação: |
Graduação - Universidade Estadual Vale do Acaraú (UVA) - Sobral, CE; Pós-graduação - UFC / UFPB / UFRPE; ROBERTO CLAUDIO FERNANDES F. POMPEU, CNPC; HEVILA OLIVEIRA SALLES, CNPC; ANTONIO SILVIO DO EGITO, CNPC; MARCO AURELIO DELMONDES BOMFIM, CNPC. |
Título: |
Destoxificação da torta de mamona sob diferentes soluções químicas visando seu uso na alimentação de ruminantes. |
Ano de publicação: |
2014 |
Fonte/Imprenta: |
In: ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CAPRINOS E OVINOS, 3., 2014, Sobral. Anais... Sobral: Embrapa Caprinos e Ovinos, 2014. p. 19. |
Idioma: |
Português |
Palavras-Chave: |
Destoxificação; Detoxification; Momona; Ricinus aglutinina. |
Thesagro: |
Alimento para animal; Eletroforese; Ricinus communis; Subproduto; Torta. |
Thesaurus NAL: |
Biodiesel; Byproducts; Castor beans; Electrophoresis. |
Categoria do assunto: |
F Plantas e Produtos de Origem Vegetal |
URL: |
https://ainfo.cnptia.embrapa.br/digital/bitstream/item/118431/1/cnpc-2014-Destoxificacao.pdf
|
Marc: |
LEADER 01031nam a2200313 a 4500 001 2009348 005 2024-01-03 008 2014 bl uuuu u00u1 u #d 100 1 $aFEIROSA, T. S. 245 $aDestoxificação da torta de mamona sob diferentes soluções químicas visando seu uso na alimentação de ruminantes.$h[electronic resource] 260 $aIn: ENCONTRO DE INICIAÇÃO CIENTÍFICA DA EMBRAPA CAPRINOS E OVINOS, 3., 2014, Sobral. Anais... Sobral: Embrapa Caprinos e Ovinos, 2014. p. 19.$c2014 650 $aBiodiesel 650 $aByproducts 650 $aCastor beans 650 $aElectrophoresis 650 $aAlimento para animal 650 $aEletroforese 650 $aRicinus communis 650 $aSubproduto 650 $aTorta 653 $aDestoxificação 653 $aDetoxification 653 $aMomona 653 $aRicinus aglutinina 700 1 $aANDRADE, I. R. A. de 700 1 $aPOMPEU, R. C. F. F. 700 1 $aSALLES, H. O. 700 1 $aEGITO, A. S. do 700 1 $aBOMFIM, M. A. D.
Download
Esconder MarcMostrar Marc Completo |
Registro original: |
Embrapa Caprinos e Ovinos (CNPC) |
|
Biblioteca |
ID |
Origem |
Tipo/Formato |
Classificação |
Cutter |
Registro |
Volume |
Status |
Fechar
|
Nenhum registro encontrado para a expressão de busca informada. |
|
|